

Test whether the relation is reflexive ,symmetric ,or transitive on the set specified R = {(m,n): m - n is not divisible by 3} on Z
1. Let a ∈ Z. Then a – a is divisible by 3. Therefore aRa holds for all a in Z and R is not reflexive.
2. Let a, b ∈ Z and aRb hold. Then a – b is not divisible by 3 and therefore b – a is not divisible by 3
Thus, aRb => bRa and therefore R is symmetric.
3. Let a, b, c ∈ Z and aRb, bRc both hold. Then a – b and b – c are both are not divisible by 3
Therefore a – c = (a – b) + (b – c) is not divisible by 3
Thus, aRb and bRc => aRc and therefore R is transitive.
So, R is not reflexive, symmetric and transitive.
